Remove time-stamp from woman.texi
authorGlenn Morris <rgm@gnu.org>
Fri, 21 Dec 2012 23:55:07 +0000 (15:55 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 21 Dec 2012 23:55:07 +0000 (15:55 -0800)
commitcc272d3b0d8efa5da775c2eaf75b2beb6e88209e
treebbb18642c660aa144f557c02a3464b69ae4882e3
parentdb1d8200488b3326ba903c0d7b259b8fb94271a4
Remove time-stamp from woman.texi

* doc/misc/woman.texi (UPDATED, VERSION): Remove in favor of EMACSVER.
Include emacsver.texi.  Nuke hand-written node pointers.
* doc/misc/Makefile.in ($(buildinfodir)/woman$(INFO_EXT), woman.dvi, woman.pdf):
Depend on emacsver.texi.
doc/misc/ChangeLog
doc/misc/Makefile.in
doc/misc/woman.texi